Program verification : fundamental issues in computer science / Timothy R. Colburn, James H. Fetzer, Terry L. Rankin
Publication: Dordrecht : Kluwer Academic Publishers, 1993Description: XIII, 457 p. : il. ; 23 cmISBN: 0-7923-1965-6.Series: Studies in Cognitive Systems / James H. Fetzer, 14Subject - Topical Name: Computadores em geral | Verificação | Conceito cognitivo| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Livro | Biblioteca do ISEL | COL. 681.31 (Browse shelf) | Available | 1006692 |
Total holds: 0
There are no comments for this item.